An isomorphism of a group onto itself.